Wahlpflichtbereich Theoretische Informatik

ModuleLV TypeCPLVDatesExamination
Algorithmic Foundations of DatascienceFach-/Modulprüfung6558118Di 10.02.2026 13:30-15:00
     AOC (2020|131)
     Roter Hörsaal AM (Ro) (1420|002)
Mi 11.03.2026 13:30-15:00
     Grüner Hörsaal AM (Gr) (1420|001)
     Roter Hörsaal AM (Ro) (1420|002)
Vorlesung558119Di 16:30-18:00 AH I (2350|028) (×11)
Mi 08:30-10:00 AH I (2350|028) (×13)
Übung558120Do 12:30-14:00 IPC Hörsaal (2400|U101) (×15)
Algorithmische LerntheorieFach-/Modulprüfung6541195
Vorlesung557996Di 08:30-10:00 AH II (2350|111) (×11)
Mi 10:30-12:00 AH II (2350|111) (×10)
Übung557997Do 14:30-16:00 AH VI (2356|051) (×14)
Algorithmische Modelltheorie IFach-/Modulprüfung9541304
CompilerbauFach-/Modulprüfung6541246
Effiziente AlgorithmenFach-/Modulprüfung6540923
ErfüllbarkeitsüberprüfungFach-/Modulprüfung6541500
Vorlesung/Übung537540Mi 08:30-10:00 AH IV (2354|030) (×15)
Do 10:30-12:00 AH V (2356|050) (×15)
Fr 12:30-13:15 5056 (2356|056) (×14)
KomplexitätstheorieFach-/Modulprüfung6541541
Vorlesung557994Mi 08:30-10:00 AH III (2350|314.1) (×12)
Do 16:30-18:00 AH II (2350|111) (×9)
Übung557995Mi 14:30-16:00 AH II (2350|111) (×12)
Lineare Optimierung und NetzwerkalgorithmenFach-/Modulprüfung9542589Di 24.02.2026 13:00-15:00
     Grüner Hörsaal AM (Gr) (1420|001)
     Roter Hörsaal AM (Ro) (1420|002)
Di 31.03.2026 09:00-11:00
     Grüner Hörsaal AM (Gr) (1420|001)
     Roter Hörsaal AM (Ro) (1420|002)
Vorlesung539296Mi 16:30-18:00 V (1010|213) (×15)
Do 10:30-12:00 V (1010|213) (×15)
Übung538933Mo 16:30-18:00 V (1010|213) (×14)
Di 14:30-16:00 V (1010|213) (×15)
Do 12:30-14:00 Be 114 (1140|114) (×14)
Fr 10:30-12:00 IV (1010|141) (×14)
Logik und SpieleFach-/Modulprüfung8543270
Fach-/Modulprüfung8543271
Mathematische Logik IIFach-/Modulprüfung6541301
Model CheckingFach-/Modulprüfung6544576Mo 09.02.2026 09:00-11:00
     Großer Hörsaal AM (1420|210)
     Grüner Hörsaal AM (Gr) (1420|001)
Di 10.03.2026 09:00-11:00 Großer Hörsaal AM (1420|210)
Vorlesung537573Mi 12:30-14:00 AH III (2350|314.1) (×14)
Do 10:30-12:00 AH I (2350|028) (×14)
Übung536600Fr 14:30-16:00 AH III (2350|314.1) (×13)